Degree of Negation of Euclid’s Fifth Postulate
نویسنده
چکیده
In this article we present the two classical negations of Euclid’s Fifth Postulate (done by Lobachevski-Bolyai-Gauss, and respectively by Riemann), and in addition of these we propose a partial negation (or a degree of negation) of an axiom in geometry. The most important contribution of this article is the introduction of the degree of negation (or partial negation) of an axiom and, more general, of a scientific or humanistic proposition (theorem, lemma, etc.) in any field which works somehow like the negation in fuzzy logic (with a degree of truth, and a degree of falsehood) or like the negation in neutrosophic logic [with a degree of truth, a degree of falsehood, and a degree of neutrality (i.e. neither truth nor falsehood, but unknown, ambiguous, indeterminate)].
منابع مشابه
Degree of Negation of an Axiom
In this article we present the two classical negations of Euclid’s Fifth Postulate (done by Lobachevski-Bolyai-Gauss, and respectively by Riemann), and in addition of these we propose a partial negation (or a degree of negation) of an axiom in geometry.
متن کاملThe Parallel Postulate in Constructive Geometry
Euclidean geometry, as presented by Euclid, consists of straightedge-and-compass constructions and rigorous reasoning about the results of those constructions. A consideration of the relation of the Euclidean “constructions” to “constructive mathematics” leads to the development of a first-order theory ECG of the “Euclidean Constructive Geometry”, which can serve as an axiomatization of Euclid ...
متن کاملThe search for new Mathematical axioms
cu lty R es ea rc h N ew sl et te r 4 that lie on the circle and take only the ones inside it. Given points P and Q in our space, the "line through P and Q" is interpreted as the arc of the circle through P and Q that intersects C at right angles (see Figure 1). With these interpretations of the words "point" and "line", it can be shown that the fifth postulate fails because given a line L and ...
متن کاملConstructive geometrical reasoning and diagrams
In his writings on Hilbert’s foundational work, Paul Bernays sometimes contrasts Euclid’s geometrical method in the Elements with Hilbert’s in Foundations of Geometry, identifying two features that distinguished the latter from the former (notably, in [6] and in the introduction to [3]). First, Hilbert’s theory is abstract. Though the primitives of the theory have an intended geometric interpre...
متن کاملConstructive Geometry and the Parallel Postulate
Euclidean geometry, as presented by Euclid, consists of straightedge-andcompass constructions and rigorous reasoning about the results of those constructions. We show that Euclidean geometry can be developed using only intuitionistic logic. This involves finding “uniform” constructions where normally a case distinction is used. For example, in finding a perpendicular to line L through point p, ...
متن کامل